Перевод: с английского на все языки

со всех языков на английский

formalized model

См. также в других словарях:

  • Model 2 — This article is about the Java design model. For the arcade board, see Sega Model 2. In the design of Java Web applications, there are two commonly used design models, referred to as Model 1 and Model 2. A simplified diagram of the Model 2… …   Wikipedia

  • Formalized — Formalize Form al*ize (f[^o]rm al*[imac]z), v. t. [imp. & p. p. {Formalized} (f[^o]rm al*[imac]zd); p. pr. & vb. n. {Formalizing} (f[^o]rm al*[imac] z[i^]ng).] 1. To give form, or a certain form, to; to model. [R.] [1913 Webster] 2. To render… …   The Collaborative International Dictionary of English

  • model — 1. A representation of something, often idealized or modified to make it conceptually easier to understand. 2. Something to be imitated. 3. In dentistry, a cast. 4. A mathematical representation of a particular phenomenon. 5. An animal that is… …   Medical dictionary

  • formalized — formalize (Amer.) for·mal·ize || fÉ”rmÉ™laɪz / fɔːm v. make official, make formal; make legally valid; affect formality; give a shape or form to, model (also formalise) …   English contemporary dictionary

  • Deductive-nomological model — The deductive nomological model (or D N model) is a formalized[citation needed] view of scientific explanation in natural language. It characterizes scientific explanations primarily as deductive arguments with at least one natural law statement… …   Wikipedia

  • Data model — Overview of data modeling context: A data model provides the details of information to be stored, and is of primary use when the final product is the generation of computer software code for an application or the preparation of a functional… …   Wikipedia

  • Object model — In computing, object model has two related but distinct meanings: The properties of objects in general in a specific computer programming language, technology, notation or methodology that uses them. For example, the Java objects model, the COM… …   Wikipedia

  • Object-capability model — The object capability model is a computer security model based on the Actor model of computation. The name object capability model is due to the idea that the capability to perform an operation can be obtained by the following combination: an… …   Wikipedia

  • Non-standard model of arithmetic — In mathematical logic, a nonstandard model of arithmetic is a model of (first order) Peano arithmetic that contains nonstandard numbers. The standard model of arithmetic consists of the set of standard natural numbers {0, 1, 2, …}. The elements… …   Wikipedia

  • Component Object Model — Not to be confused with COM file. Component Object Model (COM) is a binary interface standard for software componentry introduced by Microsoft in 1993. It is used to enable interprocess communication and dynamic object creation in a large range… …   Wikipedia

  • Institutional model theory — generalizes a large portion of first order model theory to an arbitrary logical system. The notion of logical system here is formalized as an institution. Institutions constitute a model oriented meta theory on logical systems similar to how the… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»